<html>
<head><meta charset="utf-8"><title>meeting 2020-10-06 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html">meeting 2020-10-06</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="212477027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477027">(Oct 06 2020 at 19:58)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="692">@WG-traits</span></p>



<a name="212477044"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477044" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477044">(Oct 06 2020 at 19:58)</a>:</h4>
<p>meeting in 2ish minutes</p>



<a name="212477100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477100">(Oct 06 2020 at 19:58)</a>:</h4>
<p>Wellformed rules are the topic of discussion today</p>



<a name="212477144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477144">(Oct 06 2020 at 19:58)</a>:</h4>
<p>I was supposed to prepare some discussion points, but, alas, I didn't</p>



<a name="212477291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477291">(Oct 06 2020 at 19:59)</a>:</h4>
<p>heh :)</p>



<a name="212477310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477310">(Oct 06 2020 at 19:59)</a>:</h4>
<p>this came up a bit when reviewing <span class="user-mention" data-user-id="116118">@Matthew Jasper</span>'s PR too</p>



<a name="212477449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477449">(Oct 06 2020 at 20:00)</a>:</h4>
<p>So, seems like a good discussion, I guess</p>



<a name="212477492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477492">(Oct 06 2020 at 20:00)</a>:</h4>
<p>Anyways, meeting time</p>



<a name="212477515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477515">(Oct 06 2020 at 20:00)</a>:</h4>
<p>So, first, as usual, announcments?</p>



<a name="212477589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477589">(Oct 06 2020 at 20:01)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/73905">#73905</a> merged</p>



<a name="212477591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477591">(Oct 06 2020 at 20:01)</a>:</h4>
<p>It was actually a relatively busy week compared to the last few</p>



<a name="212477610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477610">(Oct 06 2020 at 20:01)</a>:</h4>
<p>Perf improved a bit: <a href="https://perf.rust-lang.org/compare.html?start=a1dfd2490a6cb456b92e469fa550dc217e20ad6d&amp;end=08e2d4616613716362b4b49980ff303f2b9ae654&amp;stat=instructions:u">https://perf.rust-lang.org/compare.html?start=a1dfd2490a6cb456b92e469fa550dc217e20ad6d&amp;end=08e2d4616613716362b4b49980ff303f2b9ae654&amp;stat=instructions:u</a></p>



<a name="212477669"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477669" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477669">(Oct 06 2020 at 20:02)</a>:</h4>
<p>59% improvement on some =&gt; "a bit"</p>



<a name="212477757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477757">(Oct 06 2020 at 20:02)</a>:</h4>
<p>I have a PR up on rustc to upgrade Chalk: <a href="https://github.com/rust-lang/rust/issues/77515">#77515</a></p>



<a name="212477776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477776">(Oct 06 2020 at 20:02)</a>:</h4>
<p>Which should unblock the Box alloc PR</p>



<a name="212477777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477777">(Oct 06 2020 at 20:02)</a>:</h4>
<p>Something interesting in rust-analyzer: they <a href="#narrow/stream/185405-t-compiler.2Fwg-rls-2.2E0/topic/Poor.20type.20inference.20performance.20on.20chained.20method.20calls/near/212456915">noticed</a> that chalk is kinda slow around chained method calls</p>



<a name="212477810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477810">(Oct 06 2020 at 20:02)</a>:</h4>
<p>interesting</p>



<a name="212477830"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477830" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477830">(Oct 06 2020 at 20:02)</a>:</h4>
<p>so</p>



<a name="212477836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477836">(Oct 06 2020 at 20:03)</a>:</h4>
<p>Would love a repro for that</p>



<a name="212477841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477841">(Oct 06 2020 at 20:03)</a>:</h4>
<p>I would like to do a thing</p>



<a name="212477857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477857">(Oct 06 2020 at 20:03)</a>:</h4>
<p>which is to schedule some "office hours" on Monday, I think</p>



<a name="212477868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477868">(Oct 06 2020 at 20:03)</a>:</h4>
<p>that I reserve for helping out chalk PRs and things</p>



<a name="212477878"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477878" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477878">(Oct 06 2020 at 20:03)</a>:</h4>
<p>and/or other trait related things</p>



<a name="212477885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477885">(Oct 06 2020 at 20:03)</a>:</h4>
<p>would that work for people?</p>



<a name="212477914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477914">(Oct 06 2020 at 20:03)</a>:</h4>
<p>I'm trying to find ways to commit myself to spending time on chalk :)</p>



<a name="212477948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477948">(Oct 06 2020 at 20:03)</a>:</h4>
<p>I'm busy monday mornings</p>



<a name="212477959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212477959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212477959">(Oct 06 2020 at 20:03)</a>:</h4>
<p>But afternoons work for me</p>



<a name="212478020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478020">(Oct 06 2020 at 20:04)</a>:</h4>
<p>(not that it matters a ton for this)</p>



<a name="212478027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478027">(Oct 06 2020 at 20:04)</a>:</h4>
<p>something like 12-2pm and 4-6pm (Eastern time) might work</p>



<a name="212478029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478029">(Oct 06 2020 at 20:04)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202020-10-06/near/212477836">said</a>:</p>
<blockquote>
<p>Would love a repro for that</p>
</blockquote>
<p>Yeah, would make for a good benchmark. Might not quite be easy though, missing some tooling for that</p>



<a name="212478061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478061">(Oct 06 2020 at 20:04)</a>:</h4>
<p>(maybe both, and I'll use unschedule time for other reviews or coding)</p>



<a name="212478111"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478111" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478111">(Oct 06 2020 at 20:04)</a>:</h4>
<p>Sounds good to me</p>



<a name="212478135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> David Ross <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478135">(Oct 06 2020 at 20:05)</a>:</h4>
<p>I think I could definitely find that helpful! Not that I'd contribute but there are a times when asking small stuff in synchronous communication resolves things quicker</p>



<a name="212478275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478275">(Oct 06 2020 at 20:06)</a>:</h4>
<p>Also, I have two chalk prs that need review: <a href="https://github.com/rust-lang-nursery/chalk/issues/622">chalk#622</a> and <a href="https://github.com/rust-lang-nursery/chalk/issues/623">chalk#623</a>, by anyone</p>



<a name="212478293"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478293" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478293">(Oct 06 2020 at 20:06)</a>:</h4>
<p>The first is kind of important for rust-analyzer</p>



<a name="212478345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478345">(Oct 06 2020 at 20:06)</a>:</h4>
<p>ok <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="212478376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478376">(Oct 06 2020 at 20:07)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/chalk/issues/623">chalk#623</a> looks like we can just land it</p>



<a name="212478389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478389">(Oct 06 2020 at 20:07)</a>:</h4>
<p>I need to fix the link there</p>



<a name="212478391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478391">(Oct 06 2020 at 20:07)</a>:</h4>
<p>But yes</p>



<a name="212478398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478398">(Oct 06 2020 at 20:07)</a>:</h4>
<p>apart from that</p>



<a name="212478505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478505">(Oct 06 2020 at 20:08)</a>:</h4>
<p>I also did some more work this week on the binder refactor in rustc</p>



<a name="212478506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478506">(Oct 06 2020 at 20:08)</a>:</h4>
<p>regarding <a href="https://github.com/rust-lang-nursery/chalk/issues/622">chalk#622</a></p>



<a name="212478514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478514">(Oct 06 2020 at 20:08)</a>:</h4>
<p>that's just a quick workaround?</p>



<a name="212478520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478520">(Oct 06 2020 at 20:08)</a>:</h4>
<p>maybe we can open a tracking issue ?</p>



<a name="212478528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478528">(Oct 06 2020 at 20:08)</a>:</h4>
<p>or add it to an existing one?</p>



<a name="212478635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478635">(Oct 06 2020 at 20:08)</a>:</h4>
<p>Yeah, mostly a quick workaround</p>



<a name="212478654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478654">(Oct 06 2020 at 20:08)</a>:</h4>
<p>Do we have an issue open for auto traits</p>



<a name="212478656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478656">(Oct 06 2020 at 20:08)</a>:</h4>
<p>let me check</p>



<a name="212478690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478690">(Oct 06 2020 at 20:09)</a>:</h4>
<p>That would be <a href="https://github.com/rust-lang-nursery/chalk/issues/604">chalk#604</a></p>



<a name="212478804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478804">(Oct 06 2020 at 20:09)</a>:</h4>
<p>seems fine but I agree we should be tracking the "unimplemented" stuff</p>



<a name="212478831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478831">(Oct 06 2020 at 20:10)</a>:</h4>
<p>if we're not already</p>



<a name="212478890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478890">(Oct 06 2020 at 20:10)</a>:</h4>
<p>I added a comment to that issue</p>



<a name="212478919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478919">(Oct 06 2020 at 20:10)</a>:</h4>
<p>(<a href="https://github.com/rust-lang-nursery/chalk/issues/604">chalk#604</a>)</p>



<a name="212478964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212478964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212478964">(Oct 06 2020 at 20:10)</a>:</h4>
<p>Whoops. Thanks. Fixed</p>



<a name="212479014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479014">(Oct 06 2020 at 20:11)</a>:</h4>
<p>should we merge <a href="https://github.com/rust-lang-nursery/chalk/issues/622">chalk#622</a> then?</p>



<a name="212479018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479018">(Oct 06 2020 at 20:11)</a>:</h4>
<p>sgtm</p>



<a name="212479053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479053">(Oct 06 2020 at 20:11)</a>:</h4>
<p>Yep</p>



<a name="212479073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479073">(Oct 06 2020 at 20:11)</a>:</h4>
<p>Also..uh..when did we start the sprint and when does it end</p>



<a name="212479124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479124">(Oct 06 2020 at 20:12)</a>:</h4>
<p>heh</p>



<a name="212479162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479162">(Oct 06 2020 at 20:12)</a>:</h4>
<p>Was it 9/8?</p>



<a name="212479206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479206">(Oct 06 2020 at 20:12)</a>:</h4>
<p>I was wondering about that</p>



<a name="212479240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479240">(Oct 06 2020 at 20:13)</a>:</h4>
<p>We decided to wait one week to 'get organized', I think</p>



<a name="212479248"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479248" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479248">(Oct 06 2020 at 20:13)</a>:</h4>
<p>oh, the MCP for <code>ty.kind()</code> landed, right?</p>



<a name="212479264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479264">(Oct 06 2020 at 20:13)</a>:</h4>
<p>should we review the sprint items, I guess?</p>



<a name="212479295"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479295" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479295">(Oct 06 2020 at 20:13)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202020-09-08/near/209443628">said</a>:</p>
<blockquote>
<p>Ok so, 9/15-10/27</p>
</blockquote>



<a name="212479525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479525">(Oct 06 2020 at 20:14)</a>:</h4>
<p><span class="user-mention silent" data-user-id="125131">detrumi</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202020-10-06/near/212479295">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202020-09-08/near/209443628">said</a>:</p>
<blockquote>
<p>Ok so, 9/15-10/27</p>
</blockquote>
</blockquote>
<p>Thank you</p>



<a name="212479537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479537">(Oct 06 2020 at 20:15)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202020-10-06/near/212479248">said</a>:</p>
<blockquote>
<p>oh, the MCP for <code>ty.kind()</code> landed, right?</p>
</blockquote>
<p>Yes</p>



<a name="212479614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479614">(Oct 06 2020 at 20:15)</a>:</h4>
<p>on that note, <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> PRed the <code>&amp;TyKind</code> -&gt; <code>TyKind</code> change</p>



<a name="212479620"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479620" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479620">(Oct 06 2020 at 20:15)</a>:</h4>
<p>And perf on that looks bad</p>



<a name="212479624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479624">(Oct 06 2020 at 20:15)</a>:</h4>
<p>(link?)</p>



<a name="212479628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479628">(Oct 06 2020 at 20:15)</a>:</h4>
<p>and closed it</p>



<a name="212479630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479630">(Oct 06 2020 at 20:15)</a>:</h4>
<p>oh</p>



<a name="212479649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479649">(Oct 06 2020 at 20:15)</a>:</h4>
<p>interesting</p>



<a name="212479681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479681">(Oct 06 2020 at 20:15)</a>:</h4>
<p>in the MCP zulip thread there is some post mortem discussion</p>



<a name="212479730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479730">(Oct 06 2020 at 20:16)</a>:</h4>
<p><a href="#narrow/stream/233931-t-compiler.2Fmajor-changes/topic/Make.20TyKind.20Copy.20and.20change.20ty.2Ekind%28%29.20to.20.E2.80.A6.20compiler-team.23363/near/212460531">link</a></p>



<a name="212479787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479787">(Oct 06 2020 at 20:16)</a>:</h4>
<p>For the <code>kind</code> -&gt; <code>data</code> MCP, that was seconded (and accepted?)</p>



<a name="212479798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479798">(Oct 06 2020 at 20:16)</a>:</h4>
<p>So whoever wants to do that...is free</p>



<a name="212479814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479814">(Oct 06 2020 at 20:17)</a>:</h4>
<p>(maybe <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> ?)</p>



<a name="212479871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479871">(Oct 06 2020 at 20:17)</a>:</h4>
<p>Sure, though I’m not sure I’m going to have a lot of free time</p>



<a name="212479882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479882">(Oct 06 2020 at 20:17)</a>:</h4>
<p>np</p>



<a name="212479928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479928">(Oct 06 2020 at 20:17)</a>:</h4>
<p>Maybe we should make a separate trackable issue for that somewhere</p>



<a name="212479994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212479994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212479994">(Oct 06 2020 at 20:18)</a>:</h4>
<p>It's a bullet point in the wg-traits issue</p>



<a name="212480021"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480021" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480021">(Oct 06 2020 at 20:18)</a>:</h4>
<p>But, we can quickly go over the sprint goals</p>



<a name="212480083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480083">(Oct 06 2020 at 20:18)</a>:</h4>
<h2>shared type library</h2>



<a name="212480154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480154">(Oct 06 2020 at 20:18)</a>:</h4>
<p>There's a lot of bullets here</p>



<a name="212480211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480211">(Oct 06 2020 at 20:19)</a>:</h4>
<p>Some stuff has been done</p>



<a name="212480241"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480241" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480241">(Oct 06 2020 at 20:19)</a>:</h4>
<p>(like <code>kind</code> to <code>kind()</code>)</p>



<a name="212480367"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480367" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480367">(Oct 06 2020 at 20:20)</a>:</h4>
<p>But, these are self-contained enough that I think as a whole it's moving in the right direction</p>



<a name="212480376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480376">(Oct 06 2020 at 20:20)</a>:</h4>
<p>yep</p>



<a name="212480403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480403">(Oct 06 2020 at 20:20)</a>:</h4>
<h2>rust-analyzer</h2>



<a name="212480408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480408">(Oct 06 2020 at 20:21)</a>:</h4>
<p>Not sure what this point was</p>



<a name="212480435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480435">(Oct 06 2020 at 20:21)</a>:</h4>
<p>I think we wanted to check in to see what is still needed in Chalk for it?</p>



<a name="212480483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480483">(Oct 06 2020 at 20:21)</a>:</h4>
<p>yeah probably</p>



<a name="212480484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480484">(Oct 06 2020 at 20:21)</a>:</h4>
<p>At the very least rust-analyzer integration has been great at catching our bugs <em>very</em> quickly</p>



<a name="212480557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480557">(Oct 06 2020 at 20:22)</a>:</h4>
<p>But, other than that, no update</p>



<a name="212480563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480563">(Oct 06 2020 at 20:22)</a>:</h4>
<h2>MVP of rustc-integration</h2>



<a name="212480573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480573">(Oct 06 2020 at 20:22)</a>:</h4>
<p>So, this has been good</p>



<a name="212480621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480621">(Oct 06 2020 at 20:22)</a>:</h4>
<p><span class="user-mention" data-user-id="323979">@Bram van den Heuvel</span> has done a couple updates on the rustc side</p>



<a name="212480625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480625">(Oct 06 2020 at 20:23)</a>:</h4>
<p>I have one in progress</p>



<a name="212480639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480639">(Oct 06 2020 at 20:23)</a>:</h4>
<p>More than half of tests pass?</p>



<a name="212480686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480686">(Oct 06 2020 at 20:23)</a>:</h4>
<p>that's awesome!</p>



<a name="212480690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480690">(Oct 06 2020 at 20:23)</a>:</h4>
<p>We talked a bit about issue triage in <a href="#narrow/stream/144729-wg-traits/topic/rustc.20test.20suite.20triage/near/212178691">this</a> thread</p>



<a name="212480799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480799">(Oct 06 2020 at 20:24)</a>:</h4>
<p>But, <a href="https://github.com/rust-lang-nursery/chalk/issues/556">chalk#556</a> actually ends up causing a lot of test failures</p>



<a name="212480811"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480811" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480811">(Oct 06 2020 at 20:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> you should probably look</p>



<a name="212480852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480852">(Oct 06 2020 at 20:24)</a>:</h4>
<p>hmm interesting</p>



<a name="212480887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480887">(Oct 06 2020 at 20:25)</a>:</h4>
<p>But the gist is that we're adding WellFormed (how fitting for today's discussion) clauses to the environment for all of function args</p>



<a name="212480907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212480907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212480907">(Oct 06 2020 at 20:25)</a>:</h4>
<p>But the way this is done is incorrect</p>



<a name="212481052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481052">(Oct 06 2020 at 20:26)</a>:</h4>
<p>hmm</p>



<a name="212481088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481088">(Oct 06 2020 at 20:26)</a>:</h4>
<p>I'm reading it now</p>



<a name="212481103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481103">(Oct 06 2020 at 20:26)</a>:</h4>
<p>Ah yes</p>



<a name="212481111"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481111" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481111">(Oct 06 2020 at 20:26)</a>:</h4>
<p>this is precisely the issue we were talking about some time back</p>



<a name="212481128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481128">(Oct 06 2020 at 20:26)</a>:</h4>
<p>iirc we pinged <span class="user-mention silent" data-user-id="131694">scalexm</span> about it :)</p>



<a name="212481148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481148">(Oct 06 2020 at 20:27)</a>:</h4>
<p>but we never actually <em>got to it</em></p>



<a name="212481155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481155">(Oct 06 2020 at 20:27)</a>:</h4>
<p>I don't even remember</p>



<a name="212481181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481181">(Oct 06 2020 at 20:27)</a>:</h4>
<p>it's kind of a flaw in the current design of implied bounds</p>



<a name="212481188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481188">(Oct 06 2020 at 20:27)</a>:</h4>
<p>but I'm not sure what's the best fix</p>



<a name="212481221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481221">(Oct 06 2020 at 20:27)</a>:</h4>
<p>I mean, as it is, at least currently, we don't use those clauses</p>



<a name="212481320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481320">(Oct 06 2020 at 20:28)</a>:</h4>
<p>what do you mean?</p>



<a name="212481349"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481349" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481349">(Oct 06 2020 at 20:28)</a>:</h4>
<p>they are used for implied bounds I .. believe?</p>



<a name="212481370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481370">(Oct 06 2020 at 20:28)</a>:</h4>
<p>or maybe that's just <code>FromEnv</code> clauses and i'm mixing them up</p>



<a name="212481395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481395">(Oct 06 2020 at 20:29)</a>:</h4>
<p>I mean, just removing the WellFormed clauses for function args doesn't cause any test failures</p>



<a name="212481412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481412">(Oct 06 2020 at 20:29)</a>:</h4>
<p>but having them present causes test failures?</p>



<a name="212481416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481416">(Oct 06 2020 at 20:29)</a>:</h4>
<p>Which, either means we don't have proper test coverage (likely)</p>



<a name="212481437"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481437" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481437">(Oct 06 2020 at 20:29)</a>:</h4>
<p>Nope, no test failures with either</p>



<a name="212481441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481441">(Oct 06 2020 at 20:29)</a>:</h4>
<p>Well, Chalk tests</p>



<a name="212481449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481449">(Oct 06 2020 at 20:29)</a>:</h4>
<p>rustc, lots</p>



<a name="212481470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481470">(Oct 06 2020 at 20:29)</a>:</h4>
<p>~1000</p>



<a name="212481478"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481478" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481478">(Oct 06 2020 at 20:29)</a>:</h4>
<p>so</p>



<a name="212481534"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481534" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481534">(Oct 06 2020 at 20:30)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/pull/74535/files#diff-635b28f19e86863f9d886d3b9a7beaa7R217">this change</a> is potentially reasonable</p>



<a name="212481555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481555">(Oct 06 2020 at 20:30)</a>:</h4>
<p>the issue here has to do with what it means for a function type to be well-formed</p>



<a name="212481578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481578">(Oct 06 2020 at 20:30)</a>:</h4>
<p>rustc's current rules are a bit inconsistent and I think we should change them</p>



<a name="212481584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481584">(Oct 06 2020 at 20:30)</a>:</h4>
<p>is that the right link</p>



<a name="212481665"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481665" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481665">(Oct 06 2020 at 20:31)</a>:</h4>
<p>possibly not</p>



<a name="212481678"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481678" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481678">(Oct 06 2020 at 20:31)</a>:</h4>
<p>doesn't look like it</p>



<a name="212481683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481683">(Oct 06 2020 at 20:31)</a>:</h4>
<p>and...definitely not</p>



<a name="212481711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481711">(Oct 06 2020 at 20:31)</a>:</h4>
<p><a href="https://github.com/jackh726/chalk/commit/07f58e62dc050a32bdfb778a63ec7502c1df6653#diff-a66f74f4c8a6a7a1342ab7c62c3ae8a4L548">this change</a></p>



<a name="212481730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481730">(Oct 06 2020 at 20:31)</a>:</h4>
<p>yep</p>



<a name="212481738"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481738" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481738">(Oct 06 2020 at 20:31)</a>:</h4>
<p>so what rustc currently does is if you have a type like <code>fn(T)</code></p>



<a name="212481811"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481811" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481811">(Oct 06 2020 at 20:32)</a>:</h4>
<p>then it is well-formed if <code>T</code> is well-formed -- so long as <code>T</code> doesn't involve any bound variables</p>



<a name="212481879"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481879" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481879">(Oct 06 2020 at 20:32)</a>:</h4>
<p>a type like <code>for&lt;'a&gt; fn(Foo&lt;'a, str&gt;)</code> for example is <em>always</em> well-formed, even if <code>Foo&lt;'a, str&gt;</code> would not normally be well-formed (e.g., because <code>str</code> is not <code>Sized</code>)</p>



<a name="212481894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481894">(Oct 06 2020 at 20:33)</a>:</h4>
<p>I think what we should do in chalk is different</p>



<a name="212481959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212481959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212481959">(Oct 06 2020 at 20:33)</a>:</h4>
<p>probably what we should do</p>



<a name="212482033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482033">(Oct 06 2020 at 20:34)</a>:</h4>
<p>is to assume that each <code>for&lt;'a&gt; fn(...)</code> type kind of has some "implied where clauses" that assume its argument types are well-formed</p>



<a name="212482052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482052">(Oct 06 2020 at 20:34)</a>:</h4>
<p>which kind of means that <em>every</em> <code>fn</code> type is well-formed, though we could tweak it some</p>



<a name="212482064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482064">(Oct 06 2020 at 20:34)</a>:</h4>
<p>this interacts with a long-standing soundness hole that we...really ought to close someday</p>



<a name="212482087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482087">(Oct 06 2020 at 20:34)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/25860">https://github.com/rust-lang/rust/issues/25860</a></p>



<a name="212482118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482118">(Oct 06 2020 at 20:34)</a>:</h4>
<p>but the tl;dr is that probably you just want <code>WellFormed(fn)</code> type and not to descend within... I guess</p>



<a name="212482133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482133">(Oct 06 2020 at 20:34)</a>:</h4>
<p>so i.e., that diff is probably correct :)</p>



<a name="212482153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482153">(Oct 06 2020 at 20:35)</a>:</h4>
<p>We have discussed this before</p>



<a name="212482177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482177">(Oct 06 2020 at 20:35)</a>:</h4>
<p>yep</p>



<a name="212482182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482182">(Oct 06 2020 at 20:35)</a>:</h4>
<p>/me opens that issue, sees a sea of lifetimes and nopes out</p>



<a name="212482188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482188">(Oct 06 2020 at 20:35)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/25860#issuecomment-174011431">more details about the soundness hole</a></p>



<a name="212482197"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482197" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482197">(Oct 06 2020 at 20:35)</a>:</h4>
<p>I will come back to that later</p>



<a name="212482312"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482312" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482312">(Oct 06 2020 at 20:36)</a>:</h4>
<p>I guess, we probably need a test that actually uses those clauses. Whether for good or for bad</p>



<a name="212482333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482333">(Oct 06 2020 at 20:36)</a>:</h4>
<p>But I think for now, removing it is probably the <em>better</em> option</p>



<a name="212482439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482439">(Oct 06 2020 at 20:37)</a>:</h4>
<p>yeah</p>



<a name="212482448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482448">(Oct 06 2020 at 20:37)</a>:</h4>
<p>Okay so, we're at 37 minutes in</p>



<a name="212482449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482449">(Oct 06 2020 at 20:37)</a>:</h4>
<p>I'm not sure what they get used for I guess</p>



<a name="212482457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482457">(Oct 06 2020 at 20:37)</a>:</h4>
<p>one thing that <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> and I were saying is that</p>



<a name="212482522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482522">(Oct 06 2020 at 20:38)</a>:</h4>
<p>we kind of need to create a like "minimal model of the rust type/trait checker" that we can use to specify where well-formedness ought to go and how it works</p>



<a name="212482531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482531">(Oct 06 2020 at 20:38)</a>:</h4>
<p>I at least would find that useful</p>



<a name="212482611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482611">(Oct 06 2020 at 20:38)</a>:</h4>
<p>Can you elaborate</p>



<a name="212482658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482658">(Oct 06 2020 at 20:39)</a>:</h4>
<p>yeah</p>



<a name="212482690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482690">(Oct 06 2020 at 20:39)</a>:</h4>
<p>basically when you design a programming langauge you often have a mini "calculus"</p>



<a name="212482704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482704">(Oct 06 2020 at 20:39)</a>:</h4>
<p>that kind of describes how its type checker works etc</p>



<a name="212482715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482715">(Oct 06 2020 at 20:39)</a>:</h4>
<p>there have been various attempts at these for rust</p>



<a name="212482788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482788">(Oct 06 2020 at 20:40)</a>:</h4>
<p>anyway I'd like to kind of create one that is part of chalk, even if just in the documentation, and "canonical", and it would help us to model what the type-checker does</p>



<a name="212482791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482791">(Oct 06 2020 at 20:40)</a>:</h4>
<p>i.e., describe it basically</p>



<a name="212482804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482804">(Oct 06 2020 at 20:40)</a>:</h4>
<p>and part of that would be defining what it means for types to be well-formned, and when we check that</p>



<a name="212482813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482813">(Oct 06 2020 at 20:40)</a>:</h4>
<p>the rustc impl is a bit .. confusing</p>



<a name="212482825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482825">(Oct 06 2020 at 20:40)</a>:</h4>
<p>anyway I feel like that is not all that well understood anymore</p>



<a name="212482846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482846">(Oct 06 2020 at 20:40)</a>:</h4>
<p>particularly as it interacts with normalization (which in chalk ought to be much simpler)</p>



<a name="212482848"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482848" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482848">(Oct 06 2020 at 20:40)</a>:</h4>
<p>Yeah</p>



<a name="212482875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482875">(Oct 06 2020 at 20:41)</a>:</h4>
<p>I mean, I feel like the logic rules help with that?</p>



<a name="212482912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482912">(Oct 06 2020 at 20:41)</a>:</h4>
<p>yeah. my hope is that eventually chalk also includes the rust type checker</p>



<a name="212482921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482921">(Oct 06 2020 at 20:41)</a>:</h4>
<p>or perhaps that is layered atop chalk</p>



<a name="212482942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212482942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212482942">(Oct 06 2020 at 20:41)</a>:</h4>
<p>so this would kind of be sketching out how that is supposed to behave</p>



<a name="212483015"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483015" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483015">(Oct 06 2020 at 20:42)</a>:</h4>
<p>anyway part of that (defining <em>when</em> a type is well-formed) is definitely defined by chalk in the sense of "how can you prove <code>WellFormed(T)</code></p>



<a name="212483031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483031">(Oct 06 2020 at 20:42)</a>:</h4>
<p>what is not part of chalk right now is like "when do you have to prove that and when can you assume it holds"</p>



<a name="212483054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483054">(Oct 06 2020 at 20:42)</a>:</h4>
<p>that's setup by the user of chalk, in the form of what goals it asks to prove and the environment used when proving them</p>



<a name="212483066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483066">(Oct 06 2020 at 20:42)</a>:</h4>
<p>that's what the calculus might help in expressing</p>



<a name="212483081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483081">(Oct 06 2020 at 20:42)</a>:</h4>
<p>Ah, makes sense</p>



<a name="212483097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483097">(Oct 06 2020 at 20:42)</a>:</h4>
<p>basically it would help to have this calculus because it would be a way of writing down the answer in a concise form that we can refer back to and think about</p>



<a name="212483137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483137">(Oct 06 2020 at 20:43)</a>:</h4>
<p>This is definitely beyond my experience/knowledge <span aria-label="rolling eyes" class="emoji emoji-1f644" role="img" title="rolling eyes">:rolling_eyes:</span></p>



<a name="212483152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483152">(Oct 06 2020 at 20:43)</a>:</h4>
<p>no worries, it'll make some sense (hopefully)</p>



<a name="212483222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483222">(Oct 06 2020 at 20:44)</a>:</h4>
<p>I definitely think it could be useful</p>



<a name="212483387"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483387" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483387">(Oct 06 2020 at 20:45)</a>:</h4>
<p>How much does <a href="https://github.com/rust-lang/chalk/blob/master/chalk-solve/src/wf.rs">this</a> work towards that</p>



<a name="212483527"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483527" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483527">(Oct 06 2020 at 20:46)</a>:</h4>
<p>definitely related</p>



<a name="212483561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483561">(Oct 06 2020 at 20:46)</a>:</h4>
<p>Ok, so, 15 minutes left</p>



<a name="212483564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483564">(Oct 06 2020 at 20:46)</a>:</h4>
<p>I guess "source material"</p>



<a name="212483626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483626">(Oct 06 2020 at 20:47)</a>:</h4>
<p>Are there any other topics regarding WF that we should discuss</p>



<a name="212483637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483637">(Oct 06 2020 at 20:47)</a>:</h4>
<p>or that people wanted to discuss</p>



<a name="212483745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483745">(Oct 06 2020 at 20:48)</a>:</h4>
<p>I'm thinking maybe on monday I can devote some time to this</p>



<a name="212483790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483790">(Oct 06 2020 at 20:49)</a>:</h4>
<p>Nice</p>



<a name="212483833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483833">(Oct 06 2020 at 20:49)</a>:</h4>
<p>yeah so I just blocked out three 2h blocks for chalk</p>



<a name="212483835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483835">(Oct 06 2020 at 20:49)</a>:</h4>
<p>Anyone else have thoughts?</p>



<a name="212483839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483839">(Oct 06 2020 at 20:49)</a>:</h4>
<p>let's see if I can stick to them :)</p>



<a name="212483846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483846">(Oct 06 2020 at 20:49)</a>:</h4>
<p>for future reference:</p>



<a name="212483971"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212483971" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212483971">(Oct 06 2020 at 20:50)</a>:</h4>
<ul>
<li><time datetime="2020-10-12T16:00:00Z">2020-10-12T12:00:00-04:00</time> - <time datetime="2020-10-12T20:00:00Z">2020-10-12T16:00:00-04:00</time> </li>
<li><time datetime="2020-10-12T18:00:00Z">2020-10-12T14:00:00-04:00</time> - <time datetime="2020-10-12T22:00:00Z">2020-10-12T18:00:00-04:00</time> </li>
<li><time datetime="2020-10-16T19:00:00Z">2020-10-16T15:00:00-04:00</time> - <time datetime="2020-10-16T21:00:00Z">2020-10-16T17:00:00-04:00</time></li>
</ul>



<a name="212484006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484006">(Oct 06 2020 at 20:51)</a>:</h4>
<p>although I was debating about taking PTO on Oct 12 since the schools have off, but I'm not sure, maybe just a half day</p>



<a name="212484045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484045">(Oct 06 2020 at 20:51)</a>:</h4>
<p>I was thinking maybe I'll setup a calendly thing so folks can schedule slots ;)</p>



<a name="212484113"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484113" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484113">(Oct 06 2020 at 20:52)</a>:</h4>
<p>How did the office hours that you had tried to do at one point work out?</p>



<a name="212484129"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484129" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484129">(Oct 06 2020 at 20:52)</a>:</h4>
<p>it was great</p>



<a name="212484133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484133">(Oct 06 2020 at 20:52)</a>:</h4>
<p>but maintaining the repo was sort of annoying</p>



<a name="212484141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484141">(Oct 06 2020 at 20:52)</a>:</h4>
<p>I was thinking about doing it again but this time with calendly</p>



<a name="212484157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484157">(Oct 06 2020 at 20:52)</a>:</h4>
<p>and also the agreement that I would record and post the sessions</p>



<a name="212484188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484188">(Oct 06 2020 at 20:52)</a>:</h4>
<p>Nice</p>



<a name="212484194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484194">(Oct 06 2020 at 20:52)</a>:</h4>
<p>(last time I kept them private so people could share private code, but it was annoying to write blog posts and summarize)</p>



<a name="212484211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484211">(Oct 06 2020 at 20:53)</a>:</h4>
<p>posting a video would be easier</p>



<a name="212484237"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484237" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484237">(Oct 06 2020 at 20:53)</a>:</h4>
<p>but one thing at a time</p>



<a name="212484345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484345">(Oct 06 2020 at 20:54)</a>:</h4>
<p>Okay, well. We...sort of talked about WF. But if nobody else has anything to discuss, we can probably end the meeting?</p>



<a name="212484364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484364">(Oct 06 2020 at 20:54)</a>:</h4>
<p>Any idea what we might talk about next week?</p>



<a name="212484391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484391">(Oct 06 2020 at 20:54)</a>:</h4>
<p>Const eval maybe?</p>



<a name="212484452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484452">(Oct 06 2020 at 20:55)</a>:</h4>
<p>Sure</p>



<a name="212484461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484461">(Oct 06 2020 at 20:55)</a>:</h4>
<p>(<a href="https://github.com/rust-lang-nursery/chalk/issues/596">chalk#596</a>)</p>



<a name="212484511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484511">(Oct 06 2020 at 20:56)</a>:</h4>
<p>This was another bit in rustc that had a fair number of failing tests</p>



<a name="212484624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484624">(Oct 06 2020 at 20:56)</a>:</h4>
<p>hmm interesting</p>



<a name="212484629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484629">(Oct 06 2020 at 20:56)</a>:</h4>
<p>I'm gonna task <span class="user-mention" data-user-id="116009">@nikomatsakis</span> to at least briefly look over that PR before next meeting</p>



<a name="212484631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484631">(Oct 06 2020 at 20:56)</a>:</h4>
<p>what does that PR do</p>



<a name="212484644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484644">(Oct 06 2020 at 20:57)</a>:</h4>
<p>should that be on my review queue ;)</p>



<a name="212484656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484656">(Oct 06 2020 at 20:57)</a>:</h4>
<p>I guess reviewing before next meeting would be good, eh?</p>



<a name="212484667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484667">(Oct 06 2020 at 20:57)</a>:</h4>
<p>yes</p>



<a name="212484671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484671">(Oct 06 2020 at 20:57)</a>:</h4>
<p>even if briefly</p>



<a name="212484678"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484678" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484678">(Oct 06 2020 at 20:57)</a>:</h4>
<p>just so we can discuss</p>



<a name="212484701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484701">(Oct 06 2020 at 20:57)</a>:</h4>
<p>Mainly, it adds an <code>Unevaluated</code> variant to Const</p>



<a name="212484730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484730">(Oct 06 2020 at 20:57)</a>:</h4>
<p>And calls back to <code>RustIrDatabase</code> to try to evaluate it</p>



<a name="212484735"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484735" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484735">(Oct 06 2020 at 20:57)</a>:</h4>
<p>great!</p>



<a name="212484740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484740">(Oct 06 2020 at 20:57)</a>:</h4>
<p>exciting</p>



<a name="212484871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484871">(Oct 06 2020 at 20:59)</a>:</h4>
<p>I have to double check and see if all my review comments were addressed</p>



<a name="212484913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484913">(Oct 06 2020 at 20:59)</a>:</h4>
<p>but next week if everyone is on board with the changes, I can get it rebased and merged</p>



<a name="212484919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212484919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212484919">(Oct 06 2020 at 20:59)</a>:</h4>
<p>if the author isn't around</p>



<a name="212485040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212485040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212485040">(Oct 06 2020 at 21:00)</a>:</h4>
<p>Alright, that's the hour</p>



<a name="212485050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-06/near/212485050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-06.html#212485050">(Oct 06 2020 at 21:00)</a>:</h4>
<p>Thanks everyone for coming :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>